1. Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
پدیدآورنده : Roy Dyckhoff, Heirich Herre, Peter Schroeder-Heister )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1050
2. Finanzierung von Social Entrepreneurship durch Venture Philanthropy und Social Venture Capital :
پدیدآورنده : Peter Heister.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Finanzierung.,Kapitalbeteiligungsgesellschaft.,Nonprofit-Organisation.,Philanthropie.,Risikokapital.
3. Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
پدیدآورنده : Reinhard Kahle, Peter Schroeder-Heister, Robert Stark )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2183
4. Substructural logics
پدیدآورنده : edited by Peter Schroeder-Heister and Kosta Dosen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
S85
1993
